A Metamodel Based Model Transformation Language

The Model Driven Architecture (MDA) could have a greater impact by expanding its scope to Domain Specific MDA (DSMDA). DSMDA is the use of the MDA approach for a given domain. For the DSMDA process, transformers are needed to convert Domain Specific Platform Independent Models (DSPIM–s) to Domain Specific Platform Specific Models (DSPDM–s). Such model transformers are time consuming and error prone to develop and maintain. Hence, a high-level specification language to formally specify and possibly analyze model transformers is desirable. The specification language must also have an execution semantics and framework that can be used to execute the transformations. This research addresses these needs and has produced a language and execution framework that considerably improves the development of model transformers. Categories & Subject Descriptors: D.2.2 Design Tools and Techniques, F.4.2 [Grammars and Other Rewriting Systems] and D.2.6 [Programming Environments]: graphical environments. General Terms: Design, Algorithms, Languages.